Existential Import

نویسنده

  • MICHAEL WREEN
چکیده

1 For example, A. R. Lacey, "Quantifier Words", in A. R. Lacey.vi Dictionary of Philosophy (Charles Scribner's Sons, N. Y.: 1976); Alex Orenstein, Existence and the Particular Quantifier (Temple U. Press, Philadelphia: 1978), pp. 105-07; Baruch Brody, "Glossary of Logical Terms", Encyclopedia of Philosophy, Vol. 5 (Macmillan, N. Y.: 1967), p. 64; Antony Flew, "Existential Import", in Antony Flew, A Dictionary of Philosophy (St. Martin's Press, N. Y.: 1979), p. 107; Wesley Salmon, Logic (Prentice-Hall: Englewood Cliffs, N. J.: 1973), pp. 48-49; Howard Kahane, Logic and Philosophy (Wadsworth Publishing Co., Belmont, California: 1982), pp, 167, 174-75; Robert Baum, Logic (Holt-Rienhart-Winston, N. Y.: 1981), pp. 360-61, 377; E. J. Lemmon, Beginning Logic (Hackett Publishing, Indianapolis, Indiana: 1978), pp. 175-77; Hugues Leblanc and William A.Wisdom, Deductive Logic (Allyn and Bacon, Inc., Boston: 1976), p. 163 n. 34; P. F. Strawson, Introduction to Logical Theory (Methuen and Co., London: 1952), pp, 164-69; Morris R. Cohen and Ernest Nagel, An Introduction to Logic and Scientific Method (Harcourt, Brace and Company, N. Y.: 1934), pp. 41-44; Irving Copi, Introduction to Logic (Macmillan, N. Y.: 1978), pp. 187-89.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Existential Import in Cartesian Semantics

The paper explores the existential import of universal affirmative in Descartes, Arnauld and Malebranche. Descartes holds, inconsistently, that eternal truths are true even if the subject term is empty but that a proposition with a false idea as subject is false. Malebranche extends Descartes’ truthconditions for eternal truths, which lack existential import, to all knowledge, allowing only for...

متن کامل

Syllogistics = Monotonicity + Symmetry + Existential Import

Syllogistics reduces to only two rules of inference: monotonicity and symmetry, plus a third if one wants to take existential import into account. We give an implementation that uses only the monotonicity and symmetry rules, with an addendum for the treatment of existential import. Soundness follows from the monotonicity properties and symmetry properties of the Aristotelean quantifiers, while ...

متن کامل

What Does It Mean for an Indefinite to Be Presuppositional?

The paper is concerned with the nature of the presuppositionality involved in “strong” (or presuppositional) indefinite noun phrases in general, and Turkish accusative marked indefinites in particular. It investigates the semantics of Turkish accusative indefinites with regards to the categories of existential import, contextual restrictedness (or D-linking) and semantic scope, within the DRT-b...

متن کامل

Graal: A Toolkit for Query Answering with Existential Rules

This paper presents Graal, a java toolkit dedicated to ontological query answering in the framework of existential rules. We consider knowledge bases composed of data and an ontology expressed by existential rules. The main features of Graal are the following: a basic layer that provides generic interfaces to store and query various kinds of data, forward chaining and query rewriting algorithms...

متن کامل

Proving Existential Theorems when Importing Results from MDG to HOL

An existential theorem, for the specification or implementation of hardware, states that for any inputs there must exist at least one output which is consistent with it. It is proved to prevent an inconsistent model being produced and it is required to formally import the verification result from one verification system to another system. In this paper, we investigate the verification of the ex...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010